#include "syscall.h"

char *argv[2]= {"ExecV","Running ExecV\n"};

int
main()
{
  int id1,id2,res1=-1,res2=-1;
  
  id1 = Exec("Exec");
  id2 = ExecV(2,argv);

  res1 = Join(id1);
  res2 = Join(id2);

  Write("Result1:",8,1);
  Putw(res1,1);
  Write("Result2:",8,1);
  Putw(res2,1);

  Exit(0);
  Halt();
  /* not reached */
}
